Biblioteca Dr. Antonio Monteiro · Catálogo | |
01 | History and biography | ||
01A | History of mathematics and mathematicians | ||
01A60 | 20th century | ||
03 | Mathematical logic and foundations | ||
03-03 | Historical | ||
03-06 | Proceedings, conferences, collections, etc. | ||
03D | Computability and recursion theory | ||
03D10 | Turing machines and related notions [See also 68Q05] | ||
03D20 | Recursive functions and relations, subrecursive hierarchies | ||
03D35 | Undecidability and degrees of sets of sentences | ||
68 | Computer science | ||
68Q | Theory of computing | ||
68Q05 | Models of computation (Turing machines, etc.) [See also 03D10, 81P68] |
Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.
Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com